Перевод: с русского на все языки

со всех языков на русский

Со всех языков на:
Русский
С русского на:
Все языки
Английский
Французский

цепочка вывода

Толкование Перевод

1 цепочка вывода

1) Computers: derivation sequence, inference chain

2) Information technology: line of reasoning

Универсальный русско-английский словарь > цепочка вывода
2 цепочка вывода

derivation sequence

Русско-английский словарь по вычислительной технике и программированию > цепочка вывода
3 прямая цепочка вывода

forward chaining

Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > прямая цепочка вывода
4 цепочка обратного [логического] вывода

Programming: backward chaining

Универсальный русско-английский словарь > цепочка обратного [логического] вывода
5 цепочка логического вывода

inf

chaîne d’inférences

Русско-французский политехнический словарь > цепочка логического вывода
6 цепочка обратного вывода

backward chaining

Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > цепочка обратного вывода
7 машина логического вывода

1. inferencing engine

алгоритм логического вывода — inferencing algorithm

механизм логического вывода — inference engine

формирование вывода — inferencing

2. inference engine

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

3. inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > машина логического вывода
8 механизм логического вывода

1. inference engine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing engine

процесс вывода — inferencing

формирование вывода — inferencing

машина логического вывода — inferencing engine

алгоритм логического вывода — inferencing algorithm

3. inferential mechanism

механизм вывода; устройство вывода — output mechanism

Русско-английский большой базовый словарь > механизм логического вывода
9 операция логического вывода

inference operation

логический вывод — inference

цепочка вывода — inference chain

операция вывода — output operation

правило вывода — rule of inference

схемы вывода — inference machinery

Русско-английский большой базовый словарь > операция логического вывода
10 мощность логического вывода

inference capacity

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > мощность логического вывода
11 правило вывода

1. rule of inference

логический вывод — inference

правила вывода — production rule

цепочка вывода — inference chain

схемы вывода — inference machinery

формальный вывод — formal inference

2. production rule

вывод правил методом индукции — rule induction

Русско-английский большой базовый словарь > правило вывода
12 супермашина логического вывода

super inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > супермашина логического вывода
13 управление процессом вывода

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление процессом вывода
14 прямая цепочка [логического] вывода

Programming: forward chaining (один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к цели (тому, что нужно доказать))

Универсальный русско-английский словарь > прямая цепочка [логического] вывода
15 получение выводов

1. inference making

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing

алгоритм логического вывода — inferencing algorithm

машина логического вывода — inferencing engine

формирование вывода — inferencing

Русско-английский большой базовый словарь > получение выводов
16 непосредственный вывод

1. direct derivation

вывод формулы изгиба — derivation of the flexure formula

вывод уравнения — derivation of an equation

канонический вывод — canonical derivation

вывод формулы — derivation of a formula

прямой вывод данных — direct output

2. immediate inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > непосредственный вывод
17 управление выводом

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление выводом
18 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский новый политехнический словарь > логический вывод
19 пропозиционный вывод

propositional inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский военно-политический словарь > пропозиционный вывод
20 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский словарь по информационным технологиям > логический вывод

См. также в других словарях:

Евклид — У этого термина существуют и другие значения, см. Евклид (значения). Евклид Εὐκλείδης … Википедия
«Начала» Евклида — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Евклид (математик) — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Евклид из Александрии — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид из Александрии — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид (математик) — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
ЕВКЛИД АЛЕКСАНДРИЙСКИЙ — ЕВКЛИД АЛЕКСАНДРИЙСКИЙ (Εὐκλείδης ὁ Ἀλεξανδρεύς) (ок. 300 до н. э.), др. греч. ученый и математик, автор обширного корпуса сочинений, из которых наиболее известны «Начала»; жил и работал в Александрии во времена Птолемея I Сотера.… … Античная философия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Перенаправление (UNIX) — У этого термина существуют и другие значения, см. Перенаправление. В информатике перенаправление это возможность присущая многим командным оболочкам, таким как командные оболочки UNIX, позволяющая перенаправлять стандартные потоки в… … Википедия

Словари и энциклопедии на Академике

Перевод: с русского на все языки

цепочка вывода

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с русского на все языки

цепочка вывода

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: